USA - PDFSEARCH.IO - Document Search Engine

USA
Results: 56396

#	Item
71	SIGCSE 2011 Poster Proposal: Universal Design for Learning in CS1 Suzanne Rivoire Department of Computer Science Sonoma State University, Rohnert Park, CA, USA Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:15 Education Learning Human behavior Pedagogy Segregation Educational psychology Higher education Universal Design for Learning Philosophy of education Educational technology Inclusion Accessibility
72	Indian Journal of Radio & Space Physics Vol. 37, February 2008, ppPressure and density of air in mines A Tan & T X Zhang Department of Physics, Alabama A & M University, Normal, Alabama 35762, USA Add to Reading List Source URL: nopr.niscair.res.in Language: English - Date: 2008-12-06 23:30:32 Physics Atmospheric thermodynamics Nature Fluid dynamics Continuum mechanics Pressure Physical quantities Fluid mechanics Density Hydrostatics Atmospheric models Scale height
73	Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Software engineering Computer programming Programming language theory Compiler optimizations Control flow Loop optimization Heap Optimizing compiler Foreach loop
74	NSDI ’18: 15th USENIX Symposium on Networked Systems Design and Implementation April 9–11, 2018 Renton, WA, USA New Hardware Add to Reading List Source URL: www.usenix.org Language: English - Date: 2018-03-08 20:36:19 Higher education in China Education in China C9 League Project 211 Project 985 Scott Shenker Sylvia Ratnasamy University of Science and Technology of China Hari Balakrishnan Microsoft Research University of California Berkeley Ion Stoica
75	Publicado en Septiembre deEste documento usa la versión 6.0 de NetLogo. Traducido al Castellano por Haroldo Miranda. Tutorial # 3 Procedimientos Agentes y Procedimientos En el Tutorial n.º 2, aprendió a usar el Add to Reading List Source URL: ccl.northwestern.edu Language: Spanish - Date: 2018-09-19 16:41:35
76	FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang Sumit Gulwani UT Austin, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computer programming Software engineering Formal languages Theoretical computer science Computing Directed acyclic graph Filter Regular expression Recursion Finite-state machine
77	Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:34:48 Graph theory Network theory Bipartite graphs Graph operations Centrality Network analysis Distance Graph Connectivity Tree Shortest path problem Degeneracy
78	SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Programming language implementation Compiler construction Software engineering Computing Compiler optimizations Software testing Abstract interpretation LLVM Compiler Intermediate representation Hoare logic Static single assignment form
79	arXiv:1802.08182v2 [cs.HC] 16 OctUser Perceptions of Smart Home IoT Privacy SERENA ZHENG, Princeton University, USA NOAH APTHORPE, Princeton University, USA MARSHINI CHETTY, Princeton University, USA Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-16 22:25:52 Computing Internet of things Ambient intelligence Technology Terms of service Information and communications technology Privacy Internet privacy SMART home technology Big data Home automation LoRa

UPDATE